I lipidi negli ovociti in accrescimento diAplysia depilansL. (Moll. Gast. Opist)
نویسندگان
چکیده
منابع مشابه
Gast: Generic Automated Software Testing
Software testing is a labor-intensive and hence expensive, yet heavily used technique to control quality. In this paper we introduce Gast, a fully automatic test-tool. Properties from first order logic can be expressed in the system, Gast automatically generates appropriate test-data, evaluates the property for these values, and analyzes the test-results. In this way it becomes easier and cheap...
متن کاملTesting reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to evaluate the results of these tests. Many reactive systems, like automata and protocols, however, are specified by a model rather than in logic. There exist tools that are able to test software described by such a model...
متن کاملAlbert Moll Sources and Bibliography
During the research for this project a large number of archives and libraries were consulted which hold material by, or referring to, Albert Moll. The majority of the printed material can be found in libraries in Berlin – Staatsbibliothek Berlin [State Library Berlin], Bibliothek der Humboldt-Universität zu Berlin [Library of the Humboldt-University] and Zentralund Landesbibliothek Berlin [Cent...
متن کاملAmbiguità ed Autonomia negli agenti software
Il concetto di autonomia è la principale caratteristica che differenzia la programmazione ad agenti rispetto alla programmazione ad oggetti. Anche se in teoria tale concetto è stato descritto in modo dettagliato, in pratica non sembra essere stato sviluppato appieno. La tesi di questo articolo è che un agente software è autonomo solo se è capace, in un ambiente imprevedibile, complesso, ed ambi...
متن کاملGAST, a Genomic Alignment Search Tool
Alignment to a genomic sequence is a common task in modern bioinformatics. By improving the methods used, significant amount of time and resources can be saved. We have developed a new genomic alignment search tool, called GAST, for sequences of at least 160 nt. GAST is many times faster than commonly used alignment tools BLAT and Mega BLAST. As the sizes of query sequences and the database inc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bolletino di zoologia
سال: 1964
ISSN: 0373-4137
DOI: 10.1080/11250006409441084